Natural → Integer
